 
 
 
 
  
 
 
 
 
 
 
 
 
 
 
 
 
 
                     
                           RT-11
 
       ______  _______________
       		    	P_R_O_L_O_G
 
                              
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
                ,    "" 
 ..                                  
 1992


 
 
 
 
 
 
 
 
                         
 
 
 
                 
   PROLOG,        
     PROLOG        
 PDP-11(-60, , -4, -11  ..). 

 
 
 
 
 
 
 
                         
 
 
 
       ..........................................  2
 
 
  1.  ............................................ 
 
 
  2.      ..... 
 
  2.1.     ..................
  2.2.      ....................... 
 
  3.   -  ..... 
 
  3.1.    "" ............................... 
  3.2.    "" ................................ 
  3.3.    "" ................................ 
  3.4.    "" ........................ 
  3.5.    "" ................................ 
  3.6.    "" .......................... 
  3.7.    "" ................................. 
 
  4.    ............................ 
 
  4.1.     .................... 
  4.1.1.       ................. 
  4.1.1.1.   " "...................... 
  4.1.1.2.   " "....................... 
  4.1.1.3.   " "....................... 
  4.1.1.4.   " "........................ 
  4.1.1.5.   <GOLD> " "............... 
  4.1.1.6.   <GOLD> " "................ 
  4.1.1.7.   <GOLD> " "................ 
  4.1.1.8.   <GOLD> " "................. 
  4.1.2.      .................. 
  4.1.2.1.   <>.................................. 
  4.1.2.2.   <DEL>................................. 
  4.1.2.3.   <>.................................. 
  4.1.2.4.   <GRAY> ............................... 
  4.1.2.5.   <GOLD> <G>............................ 
  4.1.2.6.   <GOLD> <B>............................ 
  4.1.2.7.   <GOLD> <T>............................ 
 

 
 

 
                            - 4 -
 
 
 
 
                        1. .
 
 
 
 
        PROLOG    
      PROLOG    RT-11  :
      -  -3,4,    -
          (),
      - -0011,
      - " -0511" ().
              -
   .
 
       PROLOG    MACRO-11.
               PROLOG    
  RT-11        5.0.
 
 
 
 
 
      2.     .
 
 
   
 
      2.1.   .
 
 
 
          :
 
      1. e   PROLOG,
 
      2.   ,
 
      3.  -.
 
               PROLOG.SAV    -
   15KB.
 
 
 
       2.2.    .
 
 
 
           
 
         .RU PROLOG <>
 
 
                 -
      :
 
  
  
 
 
 
 
 
      
       ,    ,    -
         "".
  
                 -
   ""  ,      
 .        . 
 
                
 .
 
 
 
 
      3.   .
 
 
 
 
 
      3.1.  "" (  <>).
       
 
 
       ""       
        PROLOG  .
           ,    -
             
    .

 
 
 
 
      3.2.  "" (  <>).
 
 
 
                    
     .          
             
    "" (. "" ).

       
                   
 ,                    
     ("").         
       .          
    <>.
 
                 
  .
 
      :
 
  :   DK:*.PRO
 
  :
 
 DOG.PRO  
 FAMILY.PRO
 PRAVIL.PRO

      ,         -
    .

 
 
 
      3.3.  "" (  <>).

 
 
 
        ""           
   ,           -
  . 
 
 
 
      3.4.  "" (  <>).

 
 
 
          ""        -
   ,          4     .
 

 
 
      3.5.  "" (  <>).
 
 
 
        ""          
 .
             

 "" v 2.0   .  

           .
 
                  ,   
        
 "" ( . "" ):
      - ,
               -
          .

      - ,
             . 
           :
 : < >
   ...

      ,            
 .      .
 
 
 
      3.6.  "" (  <>).
 
           ,    -
   /     -
          <>     
 .
 
       (  <>)    /
        (  <>)    /
         (  <>)    /
 


      3.7.  "" (  <>).
 
            .
           ,    -
             
    .
 
 

 :
          ""+"":
      -      o   -
        -.
      -          
      -.
 
 



                4.   .
 
 
 
 
                      
               .    
                  
  "NED".
 
                   -
     ,        -
     .        ,     "-
 ".      ____  -    -
  ,     .
 
               .    -
       .
 
                    
 ,              
   '        (  
  800  ).
 
          ,       -
 ,         .
 
           /    
   ""   "".
 
            ,      -
 , -- 80 .
 
                  -
   15-00-013-01.
 
 
 
 
       4.1.   .
 
 
 
          :
 
     -- < >
 
      -- < >
 
       -- < >
 
      -- < >
 
  <>     -- < >
 
  <CTRL/> -- <  >
 
  <GOLD>   -- <    
                       15-00-013-01,
		       1   -3/4,
                       1 (),
                        (-0011,-0011)>.
           , -
   ,     .
 
  <GRAY>   -- <    
                       15-00-013-01,
		       3   -3/4,
                       3 (),
                       " "  (-0011,-0011)>.
                     < >
 
  <DEL>    --   <>   -3/,
                       4 (),
                       "|<---"  (-0011,-0011)>.
                     < >
 
 
 

   4.1.1.    .
 
 
 
 
   4.1.1.1.  " ".
 
 
 
                      
      .        ,  
       .        
        .
 
 
 
 
   4.1.1.2.  " ".
 
 
 
                      
         .        ,
       .        -
         .
 
 
 
   4.1.1.3.  " ".
 
 
 
                     
    .
 
 
 
   4.1.1.4.  " ".
 
 
 
                     
    .
 
 
 
   4.1.1.5.  <GOLD> " ".
 
 
 
                  -
            (      
 )              ,   
       .
 
 
 
 
   4.1.1.6.  <GOLD> " ".
 
 
 
                  -
           (      
 )             ,  
       .
 
 
 
   4.1.1.7.  <GOLD> " ".
 
 
 
             
    " ".
 
 
 
   4.1.1.8.  <GOLD> " ".
 
 
 
             
    " ".
 
 

  
 
   4.1.2.   .
 
 
 
 
 
   4.1.2.1.  <>.
 
 
 
          <>          -
    .        --    
  ( ,            ),
     ""           .
   <>    .
 
 
 
   4.1.2.2.  <DEL>.
 
 
 
            <DEL>           
       .        --  
     (  ,            
 ),      ""         
 .   <DEL>    .
 
 
 
   4.1.2.3.  <>.
 
 
            <>         -
        .        "-
 "      ,  ,        -
      ,    .



   4.1.2.4.  <GRAY>.

 
            <GRAY>          
       .
 



   4.1.2.5.  <GOLD> <GRAY>.



              
     .




   4.1.2.6.  <GOLD> <B>.



              -
  20   .




   4.1.2.7.  <GOLD> <T>.



              -
  20   .
	     5.    	- .


       	  -,
	    	 
 ,      	,
			- 	 .


      -  ,   	
,	    '        '.
, 	 : " 	",	   ',
  	' ""	  ' "" 
 	.  	     
: "   "  	,    "  
". 	    .

           :

1) ' 	  '     
   .
2) ' 	  '     
   .
3) 	  '      .

       	 .    -
 ,        ,	   
,		 .  			
   	  	,  		 
       .    	
 :		  '.


		      .

     ,        ,    
 . 	    ':     
 "".  	    :

(,).

    :
1)   	 	 .
2)  	  .	 	  ,
   	 ',	   ' -
   	  .
3)     .

                ',
   ' 	.  	
  ,    	   ,  
  .  ,	   	 ""  
    '  ,  "  ",    	 
" ".  	 	 :	   
,	  	:

(,).

    ,      .	 
      .

().			 	.
(,,).		   .
(,).		 	 .

    ,      
 	'.      
  :  ',       	 
 ,	  - .  
  	  	.


	  	  .

          	   ,
 ,	  	 	 ,	 	 
 	  		   	 .
    , 		    ,
 	   ,     ,  
   ,   .
,     		   
-32767  32767	.
:

_().
(dog).
(_1,37).

   	   
  ,          
.    	    
. :

('-').

        -	    -  
,  - 	 "-".
         	,    "  "    
,      .

     ,     :
	    ().  	  ('').


	      

       	,	    
 .   	      ,	 
   : ?-	.
             .

        :
().
(,).

  :

?-().

?-(,).

?-().

?-(,).


       ,        
,		 	"" ,      
    .


		  .

        	  -    	 .
 ' (, )  ,   -
	 '  X  Y (. )	-
 .

           , 
	    ""  "".     
    : "	 ,    ..."
,	 	 ,	   , 
	      :  "  ..."   
" ..."    	 .
   	     	
.     ,    
     ,     ',
	     .	    
.	    :

(,).
(,).

        	   	   ,    
   .    :    
  ?

?-(,X).

     	   :

X=

         	 ?  	      ,
 X     	,   
  .       
   ,	 	  .    
      ,	   
   .    ,  
 , ..   .
    ,     
          .  	  
     ; (  		 ),  
  	,		  
. 	    	 :

X=

          ,  	   	 "",
  	 ,	  	 
.
        ,   
,        .

	       

     	        
(  )	   . 
 	   (  ,	 ,    
),       .      
  .       	  	   
,  	  .

           	    ,  
	  .

(,).

(,).

(,).

?-(,).

=
=
;
=
=
;
=
=
;


?-(,___).
___=
;
___=
;


      	         
 , 	    	-
 .

	       .

     	    	  	  
. ,    ,  	  
" ",    .	  
    :

(,(_,)).

       , 	 .

?-(,).
=(_,)
;


     	  "    ? "

?-(,(,)).
=
=_
=
;


       , 	   
 	     .


	      

      	  	 ,     
 ''.

(,).
(,).
(,).
(,).
(,).
(,).
(,).
(,).


       ,      	 .
 	      
: "   	    	? "
    	     	,        
	     
   :

"    ? "
"    ? "

     	        ,  
 	     .	    
  	     .	,
 ,   	:

?-(,),(,).


             .

?-(,),(,).


       	    (    
	  ),	  ,  	  
 ,    .

              
 ,      	 ,
  .

    		      	      
	.    	  ,    
    .

?-(,),(,).
=
;
=
;


    ,	      
()  .

1) 	 	    	 
.	 	 	()   ,  
   .   	  
 : (,). 	  	
      	   	
  .    	 	  
,	        ,    
    	 	.
2)    	 : (,),  
     .  ,  
	        	.
       :

 =.

3)       ,	 	     
.     . 	 
  : (,)        ,
     ,     
	  .    	  
    	     	 
   .
4)  ,   	:
(,).
    ,  
	:
(,).
	  	    	 .  
       :
(,).
5)      	   
:(,).
   : (,)
 	     :
=.
6)          .  
	: (,)        
: (,),  : (,)
   .
7)        		   
	 		.   "".

       	        
. ,    	     ,    
  .

(,).

        ,      ,  	  
.

?-(,),(,),(,).
=
;


	        

        	 	  
.  ,    , 
	     ',         
          	   
  '.	          
   .      
       
,  	     	       
.    :

(,).
(,(_,)).
(,(,)).
(,(__,)).

  :

1.    	?

?-(,(_,)).
=
;
=
;


2.    -  ?

?-(,(_,_)).
=
;
=
;
=
;


3.  ,-  ?

?-(,_).
=
;
=
;
=
;
=
;



	       

             	
	- .
       	    ,     
  ,   -.	  	 
	    ,    	-.  
  	     :  
  ,      	    -.
    	 	     ,	 
  ""   " :-  "  ,	  
   .

       :

(,'-').
(,'-').
(,).

        :

(,):-(,'-').

         , 	 .

?-(,).
=
;
=
;
=
;


        	,  ,	   -
,	   (..    	 
    ),	     	     -.
      	    
	  .

        	   	  
.	     	
       .
[.      ]

     :

()	 - '   .
()	 - '   .
(,Y)	 - '    Y.
(X,Y,Z)	 - Y  Z   X , 
		   Y - ,  Z - .
       :

().
(,,).
(,,).
(,,).
().
(,).

       	 .	' X  
	'	Y,   ,  	X  Y    
  X   	( 	  ).

(X,Y):-(X),(X,,),(Y,,).

     	""   ""      
  	.

        	.

1)  		 ?

?-(,).
=
;
=
;
=
;


       	,      	
,  	 ,            
   		  .  
   .

1)  : (,)  	 
    :   (,).    	   
  	          
   .
2)     ,		  	 
	  , 	  	
 ,  :

(X,Y):-(X),(X,,),(Y,,).

        	 	 ,  	  Y
  ,   X    K  
,   .    
    -   ,	  		  
 	  .	,	  
,		    .
3)       -  
 :

(X),(X,,),(,,).
( , Y   	)

       :().	
 	,  ,    
  .  X       
       -	-
.       :

(,,).

4) :  (,,)	  	:
(,,),       
 ,   -	.
5)    :

(,,).

      	,    
    .    :

(,,)  ,

  .
6)         
:       X  
 ,     .
7)      	         
    . :

(,,)
    , ..	     
,      :

(,,) .

 	     	 	  
	 	   	  
, 	  	      	 
 .	      .
8)  	   :  (X);
      ,  	   .
          :	().
      ,  	 	 
  	       ,
       .
9)  : (,,) 	 
     	    -
:  	.
10)    :	    (,,)
       
: =.
11)  	 	            
      .  
          .	      
  	   :	(,).
	  			.

     :  		 ?

?-(,).
=
;
=
;


    ,            .	
  	  .  	  
         		   "\="
(   ),     .     [1]
   	   
 ,    .
        .

	         .

    	:

(X,Y)		X -   Y.

(X,Y):-(Y,X,_).

    	,        
  .
          :
    ?

?-(X,).
X=
;


   - ?

?-(X,_).
X=
;
X=
;
X=
;


      	 ,     .

       .

(X,Y)		  X -  	Y.

     ' X  	Y, 	  '
A,  X  	A  A   Y.
     			    
   .

(X,Y):-(X,A),(A,Y).


     	  :

(,).
(,).
(,).

      :    	?

?-(,).
=
=
;
=
=
;


           .  (	 
     )

          :

(,).

               
:

 -->  --> 	-->  -->	 .

    , X   Y,	 X  Y .	   	 
   ,	 	..
    ,     :

(X,Y):-(X,A),(A,B),(B,Y).

    ,	 ,  	   	,
  . 	 ,
  ' 	    .  
     : '  X
  ' Y,  X -    Y,	  
 ' Z,	  X	  ,    Z	  
	     Y.	     
,   		   	 :

(X,Y):-(X,Y).
(X,Y):-(X,Z),(Z,Y).

  	   :	   ?

?-(,).
=
=
;
=
=
;
=
=
;
=
=
;
=
=
;
=
=
;
=
=
;
=
=
;
=
=
;
=
=
;


     , 	            
.  ,      
  ,	   	 		   
 .

        	,  
        
.  	         
	    ,     
  . ,  	 	 -
 	 .

		 

      -        	 
	.      	   
 - ,     
 .

         , 	 	 ,
    	 .    
  	, 
  "[]".	,	  	  
.  :

[]		     -  ,   
[1,2,3,4]	     - 	   
[,[,_]] -    , 
			          .
[[a,b],c,[a,l]]	     -    : [a,b],	c, [a,l]

         	   		  
  . ,      
:

p([1,2,3]).
p([,,,[,,]]).
?-p(X).
X=[1,2,3]
;
X=[,,,[,,]]
;


?-p([X,Y,Z]).
X=1
Y=2
Z=3
;


?-p([A,B,_,D]).
A=
B=
D=[,,]]
;


      		   	 
 .  	      ,  
	-   ,   .

 :

		       		    
[1,2,3,4]	       1		    [2,3,4]
[[A,B],C]	       [A,B]		    [C]
[[a]]		       [a]		    [] - 	
[1]		       1		    []
[1,[2]]		       1		    [[2]]

           		 	   
 : [X|Y]
X -   , 	Y -  .
                  
   :

?-p([X|Y]).
X=1
Y=[2,3]
;
X=
Y=[,,[,,]]
;


?-p(_,_,_,[X|Y]]).
X=
Y=[,]
;


     	       	       -
 .      	
,          		 ,
	 .

     :

p("system").
?-p(X).
X=[115,121,115,116,101,109]
;


            .


     ,  		   ,   ,
 	 :

	      [,,,] .

     	 ,  	  
  .      :

    (,)	.

              
	 .		   
    ,  	 	 	  
	:

(X,[X|_]).

(X,[_|Y]):-(X,Y).


        	   	
.

?-(,[,,,]).

?-(,[,,,]).


     	        
.          .    
	     	 	 .    
 X (  )      (   ),
     	 .  
  Y	       	:
Y=[,,],        
.   X   		   
     . 	 
 ,       :(	 
   )

(,[,])

             ,
	  X    	"",    
           "[]"    .	 
	  ,     "" .

     	   .	  	   
  	     	  ,    
 		    ,  ,  ,
 , 	    
,   :

(,[]) .

  	  	   	,	   	 
.      "" .

    	.

?-(,[,,,]).
=
;
=
;
=
;
=
;


      	    	 ,  
	    	   .  
   	  ,    
 - 	   .

       ,   	          
"".	 	             :
(X,Y,Z)  	  X  Y  '  
  Z.     		 
 :

?-([a,b,c],[1,2],[a,b,c,1,2]).

?-([,,],[,],_).
_=[,,,,]

      	:
?-(X,[3,4],[1,2,3,4]).
X=[1,2]

             
	  	.    	     
  ,   ,   
    	,	    
.

      ""     :

([],L,L).
([X|L1],L2,[X|L3]):-(L1,L2,L3).

       	    ,	 	 
   . 	,	 
  ,       .    	 
	    ,	  
   :

1)      (X)      	 
  .
2)      (L3)       
  (L2)    (L1).
3)     	     	 
	,	           
 ,    	  .

         	       
      .
		    

     		     	     ,
 "=" . 	       ,
..  	 .      
   + 		2+2    ,    
	2 2 + (        
 -61      ) -
      ,  ..	   
.    	    ,  
   .

      	 , ..   
  - .

       	  X=Y,	 X 	Y -
   :

1) 	X  Y  ,   
 , 	   	  	  -
 ,       .
2)      X	 Y  -
 ,	   	 	 .
3)      .
4)   ,	         
        ,        
       .

     :

?-(,)=(,).
=
;


           	
 "==".    ,   	 ,  
  ,     
,	    .
     :

().
?-X=Y,(X).
X=
Y=
;


?-X==Y,(X).

?-(X),X==Y.
X=
Y=
;


        	   
  : "\="    "\=="	       
		  	  ,            
	 : "="  "==" .

      .         
:

(X,Y):-(X), (X,,),	(Y,,).

    	  , 	,    
  	.  	 ,    
  :

(X,Y):-(X),(X,,)(Y,,),
X\=Y.

       :

().
().
(,,).
(,,).

      :

?-(X,).
X=
;


   	X\=Y 	  	  :	X=	.

		   

         ,   
    		 .

     	     .    
  :

     X=Y	 X	 Y  	
     X\=Y	 X	 Y    
     X<Y	 X	  Y
     X>Y	 X	  Y
     X=<Y	 X	    Y
     X>=Y	 X	    Y

            	     
     .

        	  ,   
  	     ( 	 
.   ),  	  ,  
  , 

        .   
    ,  .

     	:

?-3>2 .

?-3<3 .

?-3>=3 .


      ,	       
         ,    
     , 
     	  .

             .
   :

(X,Y,Z),
  X -  ,
    Y  Z -   	  .

(,1917,1924).
(,1924,1953).
(,1953,1964).
(,1964,1982).

     		      _(X,Y),
	,   X    	Y. 
    ""  : X 
,  X    A   B	  Y  
  A    B	  	  A    B.      
  :

_(X,Y):-(X,A,B),Y>=A,Y<=B.

             ,	       
   	.

1)      	1930  ?

?-_(,1930).


2)    	 1924  ?

?-_(,1924).
=
;
=
;


          	  
 .

X + Y	   - 
X - Y	   - 
X * Y	   - 
X / Y	   -   
X mod Y	   -  		 

       ,       	
 	 ,   	
.  :

3+5 .
?-3+5 .

?-3+4 .

?-+.
=3
=5
;


       	  is .   
 	   ,
..   .

A is B ,     	   	 
 	   	 	.
 :

?-8 is 3+5 .

?- is 3+6*2 .
T=15

?-L is (5+6)/3 .
L=3

     	   is .
        	     
.

(,203).
(,548).
(,8).
(,3).

    	 		  .  	 
  "",		     
    .  	 ,    
   ,		 ,  
,  .

(X,Y):-(X,P),(X,A),Y is P/A.

        	       ,	
    .

1)     ?

?-(,P).
P=25

2)       182	?

?-(C,182).
C=
;


3)     ,    	
  	 ?

?-(,).
=
=25
;
=
=182
;


   	   	 ,  ..
        
  . 	     
	-       ,   
  ,     	-
  .

		 

      	       :  not(X),  X  -
	,      	
  	 	.	   	   X
   ,   : not(X), ,
   ,    X, 
  	 .

     	           
.

().
().
?-not(()).

?-not(()).


         :

?-not(((),not(()))).


     : "()"      
,	"()"  ,   :
"not(())"  ,    	   
 	 ,    	
   	"".
 "
        	  
not.   	  :

?-not((),not(())).

  	     ,    
	 	  	  	
  not,	     not         
.

    	 	not     ,
     .    :

?-().

?-not(not(())).

                   
,    .      
,	   . :

().
().
?-(X),(X).

?-not(not((X))),(X).
X=
;


             	    "
".	        	  "(X)"
      X	     "",
 	   X      
   ""	 .  		,    
    ,	  	"not(not((X)))"
   ,      X    	 
  	.  	 
      :	"X=".

	         .

     	  "".  	 
  ;	(  ).  : ?-X;Y.  ,
 X 	Y -   	.    
	    X.      ,  
	   ,	   	 
    Y.     
Y,   .

      	"".       
 	',	  	 .

(X):-X=;X=;(X,_).

      :

(,).
(,).

       :

?-(X).
X=
;
X=
;
X=
;
X=
;


     	      ,    
    .  
    ,  ..  	    
 . 	      
 	      	.
,   ,    :

().
().
(X):-(X,_).

          	
(.  )    	     
 .


		

         , 
  		   "".  
 ,      	
	  	     	  
.      "!"	 -  
   .	       
  	 ,     .
 	 :

p:-a,b,c,!,d,e,f

  -         
   a,	b, c,    		  c
    ,  	 ""  
""	 	 a,	b, c - "". 
 	 	d, e, f,      
   ,      	,
  d    	  	  
 	 c.	   a, b, c		  
      		    
    .     ,    
         p	   	
,    	 . 
   .

       	   .	
    .    	 ,  
 :   	,       
 	  .  ,        
     ,        .  
  "",         ,	  
, 	  .

(,_):-__(,),
 !,_=_.
(,_).
(,_).

        	   .

().
().
__(,_).

    ,     .  		
  ,  .

?-(),(,).
=
=_
;
=
=_
;
=
=_
;


     ,	 	  	 .		   
"()"	    ""  	 
"".          
"(,) "	.        
	   		      	    :
"__(,) ".  ,	..  
		  	" 	".    
    	  	     
"_ " "_".      
.                
 :  		    
.

             .		 
      	    ,
           ,		   
"(,) "	       
	    .


	       FAIL

               	      
   . 			  
 	 . 	   fail,
	 ,  		   	
,    ,	   .	 ,
,         
 .    	    ,
 , .   
"(X,Y)",  X - ,  Y -  ,  
  :

(X,Y):-(X),!,fail.
(X,Y):- .....

       X  	,        
  ""	    ,  ..
  fail	         
,   	      
 ""	 "".


	 ,   .

              .
1)  var(X)    ,   	 
 X 	 .

		       :

?-var(X).

?-var(23).

?-X=Y,Y=23,var(X).


2)  atom(X) 	 	,	 	 
 X   .

?-atom(2).

?-atom().

?-X=(),atom(X).


3)  integer(X)       ,    
  X   .

?-T is 2+3,integer(T).
T=5
       	,  
  integer  .


	    	  

         	      
   .      	  
	 ,  	          
, 	  .

 	 :

1) CALL	-          	
    .
2) EXIT	-     ,        
   .
3) REDO	-  ,   	 ,
	  	 	.
4) FAIL	-   ,     
    .

       	  	  
	       	.  
   :

?-trace.

        ,		  
.  	  :

?-notrace.

     	    "".

		   :

(X,Y):-(X),(X,,),(Y,,).
().
().
(,,).
(,,).

?-trace.		       -  
EXIT: trace

			       -  


?-(,).  -		      ?
CALL: (,)	       - 	 ""

EXIT:  (_0,)	       -    -
				    	.
				 _0   -
				 

CALL:  (_0)	       -   
				 	 	  
				 

EXIT:  ()	       -    

CALL: (,,)	     -	  -
					 

EXIT:  (,,) -	    

CALL:  (,,) -	      

EXIT: (,,)  - 

=			     - 
;				     -  

REDO: (,,)  -     
				           
				       

FAIL: (,,) - 	 
				      

REDO:  (,,)    - 	   
				       	

FAIL: (,,)	    -  

REDO:	 (_0)		    -    
				        	

EXIT:	 ()		    - 	      
				        	

CALL:  (,,)    -     
				         -
				       

EXIT: (,,) -   	

CALL: (,,) -     -
				       	 -
				      	    .
				        	   
				      

EXIT: (,,) -   ,  
				       

=			    -  
;
REDO: (,,) -   -
				          
				      

FAIL: (,,) -     

REDO:  (,,)    -    -
				       

FAIL: (,,)	   -   	 
				      

REDO: (_0)		   -     ?

FAIL:	 (_0)		   -   ,  -
				               

REDO:  (,)	   -    	
				              ?

FAIL:  (,)	   -       
				      

				   -   	  -
				      	

?-notrace.			   -  	  
CALL: notrace

				    -  
		    - 

       	    
  	     -
 .

1)  get0 .  :	get0(X)	   
 ,  X  	  	-
  .   		,   -
 (   32 ).

?-get0(X).	             
		        - .  ,
		        "1".    49	 -
		          :
X=49
;


       :(   "1" )

?-Y=49,get0(Y).

?-get0(Y),Y=40 .

       get0      get,
	 ,	      
(  	,..   32  ).  	 	 
   ,       
get0  (. [1] )

2)    	 put(X)	.  
 X       ,	 	 
  .

?-put(49).
1

?-X=49,put(X).
1X=49
;


?-put(a).


     	  , 	 put  -
  ,         1  
128, 	 ,   	 	
,      .


3)  nl	 tab(X) .   	  
  .  nl     	 
   . 	     
  	   . 
 tab(X) 	  ,   -
 	      ,	 
.

?-put(49),nl,put(50),tab(3),put(51).
1
2   3

      	      write  
display,     	   , 
.

		  

         -
  . 	  ,  .
     , , , 
 . ,  A+B ,  
+(A,B) .        	
      .
	 	,       -
,     	   
. ,    : 5+2*3 ,   
   : +(5,*(2,3))	.

            
   .

         	 ,	  
   : write(X)  display(X) .  
 X          
,	   ,   write	
   ,     , 	 -
 display    .

		     :

?-write((3+5)*2).
(3+5)*2
?-display((3+5)*2).
*(+(3,5),2)

     	  . ,: a,b,c
 	: ,(a,,(b,c)).  ":-"  "?-"  
    :
a :- b	      :-(a,b)
?-a	      ?-(a)

     	  display  	 	  
         ,
	  	 .

                .
	    ,	      
.

   	  .
 	   0  255.    ,
    	. ,  
  "*"	    "+"  	 
: 21  31 . (   .	 ).
	  : a+b*c 	    :
+(a,*(b,c)) , 	   :  *(+(a,b),c)  .    
 ,  : (a+b)*c .

	  . 	 ,  
  	      -
	 .	,  	 
,  	. 	  -
     ,  -  
 ,  	- 	  .
  	 ,  ,  
 ">" , 	-  "not".   -
     	  
  "<-".    	 
 	:

a>b	   ---->    >(a,b)
not s	   ---->    not(s)
a<-	   ---->    <-(a)

	    
.    a+b+b .    -
  (a+b)+c  a+(b+c).	    
  	.	
       .    
		     -
    : fx  fy.    
    : xf   yf,	   
   : xfx , xfy , yfx  ,	 yfy  .
    ?   "f"  ,
  "y"      	  ,
 (   )     
   .  "x"     
 ,	       
   	 .     
: a+b+c .  "+"	 :  yfx  ,  
,     ,   	
 	    ,   
  yfx .    	
,           
.   yfx	 	  -
 a+b+c   (a+b)+c    :
+(+(a,b),c).

      "not "  	fx,    
 not not a , ..        not  
 	 	.

         (","  ";")  -
	xfy, , ,	 a;b;c	-
  : a;(b;c)    : ;(a,;(b,c)).

      ,    
 ,   	op.

     op	  :

  op(<>,<>,< >) . ,
      "<-",   
  ,  	"+" .  	-
:

?-op(31,yfx,<-).

   :

?-display(a+b<-c).
<-(+(a,b),c)

        	   -
.	         
    .

	         

          :  <>
 	    .

01 -   . 	  , 
     ,  	     ,
       ,   	 .

02 -   	  . 	 	-
        	  ( -32767 ; 32767 )

03 -   .      
         	(  "()" 
     "[]" ) .

04 -   . 		  
     146  ,   	   .
        ,   . 
      	.      
      ,   	 
     . ,	 p(X,Y):-	...  y(Z,T):- ... -
     	: p(X,Y):- ...  y(X,Y):- ... , Z   
     X  Y .

05 - 	    .   -
     ,  , 	  
      .

06 -  	    	  .
        .	
      .

07 -  	  .	   
     	, 		   	 
     .	  	   ,
         . -
           .

10 -    	 .   
     ( "is" ,	 ">"  .. )    -
     	 .  	  .

11 -   .  	 -
         0,      -
         (   -32767	; 32767	).

12 -     op.	  "op"	
         .	   	
       .


		   

                 
     .   -
  	     .      
	  	     ,    
    ,     
.

1. ., .
      . .,"",1987

2. ., .
       . .,"",1990

3. .
       	 .
   .,"",1990

4. ., .
        -.
   .,"",1987
